#include <stdio.h>
#include <string.h>

int main(){
    char a[100]="abc";
    char b[100]="def";
    strncat(a,b,4);
    printf("%zd\n",strlen(a));
    puts(a);
}